@INPROCEEDINGS{Wolff12,
  AUTHOR =       {Sune Wolff},
  TITLE =        {{Scrum Goes Formal: Agile Methods for Safety-Critical Systems}},
  BOOKTITLE =    {{First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches}},
  YEAR =         {2012},
  pages =        {23--29},
  publisher =    {IEEE}
}

@ARTICLE{Black09,
  AUTHOR =       {Sue Black and Paul P. Boca and Jonathan P. Bowen and Jason Gorman and Mike Hinchey},
  TITLE =        {{Formal Versus Agile: Survival of the Fittest}},
  JOURNAL =      {IEEE Computer},
  YEAR =         {2009},
  volume =       {42},
  number =       {9},
  pages =        {37--45},
  month =        {Sept.},
}

@INPROCEEDINGS{Bollin14,
  AUTHOR =       {Andreas Bollin and Dominik Rauner-Reithmayer},
  TITLE =        {{Formal specification comprehension: the art of reading and writing Z}},
  BOOKTITLE =    {Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering},
  YEAR =         {2014},
  pages =        {3--9},
  publisher =    {ACM}
}

@ARTICLE{Bollin13,
  AUTHOR =       {Andreas Bollin},
  TITLE =        {{Metrics for Quantifying Evolutionary Changes in Z Specifications}},
  JOURNAL =      {Software Maintenance and Evolution: Research and Practice. Wiley and Sons Ltd.},
  volume =       {25},
  number =       {9},
  pages =        {1027--1059},
  YEAR =         {2013}
}

@BOOK{Cockburn02,
  AUTHOR =       {Alistair Cockburn},
  TITLE =        {Agile Software Development},
  PUBLISHER =    {Pearson Education},
  YEAR =         {2002}
}
@incollection{Abadi2009,
author = {Abadi, Moria and Feldman, YA},
booktitle = {Next Generation Information Technologies and Systems},
pages = {50--62},
title = {{Refactoring of statecharts}},
year = {2009}
}
@inproceedings{Abadi2012,
author = {Abadi, Moria and Feldman, Yishai A},
booktitle = {Automated Software Engineering (ASE), 2012 Proceedings of the 27th IEEE/ACM International Conference on},
pages = {238--241},
title = {{Automatic Recovery of Statecharts from Procedural Code}},
year = {2012}
}
@article{Alam2012,
author = {Alam, Omar and Adams, Bram and Hassan, Ahmed E},
journal = {Journal of Systems and Software},
title = {{Preserving Knowledge in Software Projects}},
year = {2012}
}
@article{Alawairdhi2009,
author = {Alawairdhi, Mohammed and Yang, Hongji},
doi = {10.1109/COMPSAC.2009.147},
file = {:home/spegni/Documenti/paperi/Alawairdhi, Yang/2009/Alawairdhi, Yang - 2009 - A Business-Logic Based Framework for Evolving Software Systems.pdf:pdf},
isbn = {978-0-7695-3726-9},
journal = {2009 33rd Annual IEEE International Computer Software and Applications Conference},
keywords = {-reengineering,business-logic,software evolution},
pages = {300--305},
publisher = {IEEE},
title = {{A Business-Logic Based Framework for Evolving Software Systems}},
year = {2009}
}
@book{Practices,
author = {Ambler, S},
pages = {402},
title = {{Agile modeling: effective practices for extreme programming and the unified process}},
year = {2002}
}
@article{Ambler2003,
author = {Ambler, SW},
journal = {Software, IEEE},
number = {5},
pages = {71--73},
title = {{Agile model driven development is good enough}},
volume = {20},
year = {2003}
}
@article{Anquetil2011,
author = {Anquetil, Nicolas and Laval, Jannik},
doi = {10.1109/CSMR.2011.34},
file = {:home/spegni/Documenti/paperi/Anquetil, Laval/2011/Anquetil, Laval - 2011 - Legacy Software Restructuring Analyzing a Concrete Case.pdf:pdf},
isbn = {978-1-61284-259-2},
journal = {2011 15th European Conference on Software Maintenance and Reengineering},
keywords = {-re-modularization,case study,cohesion,cou-,coupling metrics alone,in this paper,metrics,pling,re-structuring,setup to test,the relevance of cohesion,we propose an experiment,without},
month = mar,
pages = {279--286},
publisher = {IEEE},
title = {{Legacy Software Restructuring: Analyzing a Concrete Case}},
year = {2011}
}
@article{Baker1999,
author = {Baker, Albert L and Ruby, Clyde},
file = {:home/spegni/Documenti/paperi/Baker, Ruby/1999/Baker, Ruby - 1999 - JML A Notation for Detailed Design.pdf:pdf},
pages = {175--188},
title = {{JML: A Notation for Detailed Design}},
year = {1999}
}
@article{Ball2004,
author = {Ball, Thomas and Cook, Byron and Levin, Vladimir and Rajamani, Sriram K and Report, Technical},
title = {{SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft}},
year = {2004}
}

@article{Security2011,
author = {Barrera, D and Oorschot, P Van},
journal = {Security \& Privacy, IEEE},
number = {3},
pages = {42--48},
title = {{Secure software installation on smartphones}},
volume = {9},
year = {2011}
}
@techreport{Bengtsson2004,
author = {Bengtsson, Johan and Yi, Wang},
booktitle = {Lecture Notes in Computer Science},
file = {:home/spegni/Documenti/paperi/Acharya et al/Bengtsson, Yi/2004/Bengtsson, Yi - 2004 - Timed automata Semantics, algorithms and tools.pdf:pdf},
number = {316},
pages = {87--124},
publisher = {Springer},
title = {{Timed Automata: Semantics, Algorithms and Tools}},
url = {http://www.springerlink.com/index/2AGTG3KJFLE73J5A.pdf},
volume = {3098},
year = {2004}
}
@inproceedings{Boehm2006,
  title={A view of 20th and 21st century software engineering},
  author={Boehm, Barry},
  booktitle={{Proceedings of the 28th International Conference on Software Engineering (ICSE)}},
  pages={12--29},
  year={2006},
  organization={ACM}
}
@article{Boehm2007,
author = {Boehm, B and Lane, J},
journal = {CrossTalk},
number = {October 2006},
title = {{Using the incremental commitment model to integrate system acquisition, systems engineering, and software engineering}},
year = {2007}
}
@article{Boehm2010,
author = {Boehm, Barry},
journal = {The Future of Software Engineering},
title = {{Some future software engineering opportunities and challenges}},
year = {2011}
}
@article{Bohem2010,
author = {Boehm, Barry and Beck, Kent},
journal = {IEEE Software},
title = {{The Changing Nature of Software Evolution / The Inevitability of Evolution}},
year = {2010}
}

@article{Boehm2010a,
author = {Boehm, Barry and Lane, Jo Ann},
booktitle = {Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering},
file = {:home/spegni/Documenti/paperi/Boehm, Lane/2010/Boehm, Lane - 2010 - VOLUME 2 New Processes for New Horizons The Incremental Commitment Model.pdf:pdf},
isbn = {9781605587196},
keywords = {[Electronic Manuscript]},
pages = {501--502},
title = {{VOLUME 2: New Processes for New Horizons: The Incremental Commitment Model}},
year = {2010}
}
@techreport{Boehm2010b,
author = {Boehm, Barry and Lane, Jo Ann},
institution = {System Engineering Research Center, University of Southern California},
pages = {33},
title = {{DoD Systems Engineering and Management Implications for Evolutionary Acquisition of Major Defense Systems}},
year = {2010}
}
@article{Boehm1988,
author = {Boehm, BW},
journal = {Computer},
number = {5},
pages = {61--72},
title = {{A spiral model of software development and enhancement}},
volume = {21},
year = {1988}
}
@incollection{Bouyer2008,
author = {Bouyer, P. and Laroussinie, Francois},
booktitle = {Modeling and Verification of Real-Time Systems},
pages = {111--140},
title = {{Model Checking Timed Automata}},
year = {2008}
}
@article{Brand1997a,
author = {den Brand, MGJ Van and Klint, P and Verhoef, C},
journal = {Software Engineering Notes},
title = {{Reverse Engineering and System Renovation - An Annotated Bibliography}},
year = {1997}
}
@article{Buys,
author = {Buys, Jonas and Florio, Vincenzo De and Blondia, Chris},
file = {:home/spegni/Documenti/paperi/Buys, Florio, Blondia/Unknown/Buys, Florio, Blondia - Unknown - Applying Business Process Re-engineering Patterns to optimize WS-BPEL Workf lows.pdf:pdf},
keywords = {architectures,bpr,business process re-engineering,business processes,service-oriented,soa,workflows,ws-bpel},
pages = {1--10},
title = {{Applying Business Process Re-engineering Patterns to optimize WS-BPEL Workf lows}}
}
@inproceedings{Byrne1992,
author = {Byrne, E.J.},
booktitle = {Proceedings Conference on Software Maintenance 1992},
pages = {226--235},
publisher = {IEEE Comput. Soc. Press},
title = {{A conceptual foundation for software re-engineering}},
year = {1992}
}
@inproceedings{Campana2010,
author = {{S. Campana, L. Spalazzi and F. Spegni}},
booktitle = {2010 International Symposium on Collaborative Technologies and Systems},
pages = {113--122},
publisher = {IEEE},
title = {{Dynamic Networks of Timed Automata for collaborative systems: A network monitoring case study}},
year = {2010}
}
@inproceedings{Campana2008,
abstract = {We developed XAL, a framework that, in our opinion, allows to build Web-oriented applications and services in a more productive way. The core of the framework is a programming language based upon timed-automata. We believe this formalism reflects the nature of many web-oriented applications, each page being a state, and each link being a transition toward another state. Once the programmer defined the set of states that characterize the application, she/he can provide a behavior to each single state, binding the state to a small program written in its favorite programming language. Furthermore, we realized that often companies require an application to behave differently depending on some conditions over real-time. Our language, being a modified version of the timed-automata, allows the programmer to specify constraints over real-time in a declarative way, rather than mix them within the logic of the application.},
address = {Sydney},
author = {Campana, Salvatore and Spalazzi, Luca and Spegni, Francesco},
booktitle = {IEEE/WIC/ACM International Conference on Web Intelligence},
keywords = {Web oriented programming language,XAL,XML,automata language,timed-automata},
pages = {862--868},
publisher = {IEEE},
title = {{XAL: A Web Oriented Programming Language Based on Timed-Automata}},
url = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=\&arnumber=4740565\&isnumber=4740405},
year = {2008}
}
@article{Chikofsky1990,
author = {Chikofsky, Elliot and Cross, James},
journal = {Software, IEEE},
number = {1},
pages = {13--17},
publisher = {IEEE},
title = {{Reverse engineering and design recovery: A taxonomy}},
volume = {7},
year = {1990}
}
@article{Choi2010,
author = {Choi, Yunja and Jang, Hoon},
pages = {122--131},
publisher = {IEEE},
title = {{Reverse Engineering Abstract Components for Model-Based Development and Verification of Embedded Software}},
year = {2010}
}
@article{Crane2008,
author = {Crane, ML and Dingel, Juergen},
pages = {675--689},
title = {{Towards a formal account of a foundational subset for executable UML models}},
year = {2008}
}
@article{Learned2007,
author = {Damian, D},
journal = {Software, IEEE},
number = {2},
pages = {21--27},
title = {{Stakeholders in global requirements engineering: Lessons learned from practice}},
volume = {24},
year = {2007}
}
@article{Davies2004,
author = {Davies, Jim and Simpson, Andrew and Martin, Andrew},
pages = {185--202},
title = {{LNCS 3294 - Teaching Formal Methods in Context}},
year = {2004}
}
@inproceedings{Deursen,
author = {Deursen, Arie Van and Visser, Eelco and Warmer, Jos},
journal = {\ldots on Model-Driven Software Evolution},
title = {{Model-driven software evolution: A research agenda}},
year = {2007}
}
@article{Dobrzanski2006,
author = {Dobrzanski, Cukasz and Kuzniarz, Ludwik},
pages = {1273--1279},
title = {{An Approach to Refactoring of Executable UML Models}},
year = {2006}
}
@article{Engineering2006,
author = {Engineering, Model-driven},
number = {2},
pages = {25--31},
title = {{Model-Driven Engineering}},
volume = {39},
year = {2006}
}
@article{Highsmith2001,
author = {Fowler, M and Highsmith, Jim},
journal = {Software Development},
number = {August},
title = {{The agile manifesto}},
year = {2001}
}
@book{Fowler1999,
author = {Fowler, Martin and Beck, Kent},
title = {{Refactoring: improving the design of existing code}},
year = {1999}
}
@article{France2006,
author = {France, Robert B and Ghosh, Sudipto and Dinh-trong, Trung},
number = {February},
pages = {59--66},
title = {{Model-Driven Development Using UML 2.0: Promises and Pitfalls}},
year = {2006}
}
@article{France2007,
author = {France, Robert and Rumpe, Bernhard},
pages = {37--54},
publisher = {IEEE},
title = {{Model-driven Development of Complex Software: A Research Roadmap}},
year = {2007}
}
@article{Garion2003,
author = {Garion, Christophe and der Torre, L Van},
title = {{Design by contract-Deontic design language for component-based systems}},
year = {2003}
}
@incollection{Gigante2012,
author = {Gigante, Gabriella and Pascarella, Domenico},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies},
pages = {205--215},
title = {{Formal Methods in Avionic Software Certification: The DO-178C Perspective}},
year = {2012}
}
@article{Godfrey2008,
author = {Godfrey, Michael W. and German, Daniel M.},
journal = {2008 Frontiers of Software Maintenance},
pages = {129--138},
publisher = {IEEE},
title = {{The past, present, and future of software evolution}},
year = {2008}
}
@article{Graw2004,
author = {Graw, G\"{u}nter and Herrmann, Peter},
journal = {Electronic Notes in Theoretical Computer Science},
pages = {3--24},
title = {{Transformation and Verification of Executable UML Models}},
volume = {101},
year = {2004}
}
@article{Guta2009,
author = {Guta, Gabor and Schreiner, Wolfgang and Draheim, Dirk},
journal = {2009 35th Euromicro Conference on Software Engineering and Advanced Applications},
pages = {255--258},
publisher = {IEEE},
title = {{A Lightweight MDSD Process Applied in Small Projects}},
year = {2009}
}
@article{Hailpern2006,
author = {Hailpern, B. and Tarr, P.},
journal = {IBM Systems Journal},
number = {3},
pages = {451--461},
title = {{Model-driven development: The good, the bad, and the ugly}},
volume = {45},
year = {2006}
}
@book{Harel2007,
address = {New York, New York, USA},
author = {Harel, David},
booktitle = {Proceedings of the third ACM SIGPLAN conference on History of programming languages - HOPL III},
pages = {5--1--5--43},
publisher = {ACM Press},
title = {{Statecharts in the making: A Personal Account}},
year = {2007}
}
@article{Harel2012,
author = {Harel, David and Marron, Assaf},
journal = {Software \& Systems Modeling},
number = {4},
pages = {599--608},
title = {{The quest for runware: on compositional, executable and intuitive models}},
volume = {11},
year = {2012}
}
@article{Hawthorne,
author = {Hawthorne, Matthew J and Perry, Dewayne E},
booktitle = {Software Engineering Education in the Modern Age},
pages = {166--185},
title = {{LNCS 4309 - Software Engineering Education in the Era of Outsourcing, Distributed Development, and Open Source Software: Challenges and Opportunities}}
}
@article{Herbsleb2007,
author = {Herbsleb, James D},
title = {{Global Software Engineering: The Future of Socio-technical Coordination}},
year = {2007}
}
@article{Howe2006,
author = {Howe, Jeff},
journal = {Wired},
title = {{The Rise of Crowdsourcing}},
year = {2006}
}
@article{Huhns2005,
author = {Huhns, Michael N and Singh, Munindar P},
journal = {Internet Computing},
number = {1},
pages = {75--81},
title = {{Service-Oriented Computing: Key Concepts and Principles}},
volume = {9},
year = {2005}
}
@inproceedings{Kent,
author = {Kent, Stuart},
booktitle = {Proceedings of the Third International Conference on Integrated Formal Methods},
pages = {286--298},
title = {{Model Driven Engineering}},
year = {2002}
}
@article{Khadka2011,
author = {Khadka, Ravi and Reijnders, Gijs and Saeidi, Amir and Jansen, Slinger and Hage, Jurriaan},
journal = {2011 27th IEEE International Conference on Software Maintenance (ICSM)},
pages = {163--172},
publisher = {IEEE},
title = {{A method engineering based legacy to SOA migration method}},
year = {2011}
}
@article{Ko2009,
author = {Ko, Ryan K. L.},
journal = {Crossroads},
number = {4},
pages = {11--18},
title = {{A computer scientist's introductory guide to business process management (BPM)}},
volume = {15},
year = {2009}
}
@article{Koschke2003,
author = {Koschke, Rainer},
journal = {Journal of Software Maintenance and Evolution: Research and Practice},
number = {2},
pages = {87--109},
title = {{Software visualization in software maintenance, reverse engineering, and re-engineering: a research survey}},
volume = {15},
year = {2003}
}
@article{Learned2007,
author = {Learned, Lessons},
file = {:home/spegni/Documenti/paperi/Learned/2007/Learned - 2007 - Stakeholders in Global Requirements Engineering Lessons Learned from Practice.pdf:pdf},
number = {April},
pages = {21--27},
title = {{Stakeholders in Global Requirements Engineering: Lessons Learned from Practice}},
year = {2007}
}
@article{Leavens2006,
author = {Leavens, Gary T and Cheon, Yoonsik and Paso, El},
title = {{Design by Contract with JML}},
year = {2006}
}
@incollection{Baker1999,
author = {Leavens, GT and Baker, AL and Ruby, Clyde},
booktitle = {Behavioral Specifications of Businesses and Systems},
pages = {175--188},
title = {{JML: A notation for detailed design}},
year = {1999}
}
@inproceedings{Leotta2012a,
author = {Leotta, Maurizio and Reggio, Gianna and Ricca, Filippo and Astesiano, Egidio},
booktitle = {2012 14th IEEE International Symposium on Web Systems Evolution (WSE)},
pages = {51--60},
publisher = {IEEE},
title = {{Towards a lightweight model driven method for developing SOA systems using existing assets}},
year = {2012}
}
@techreport{Markey2003,
author = {Markey, N},
booktitle = {\ldots Analysis of Timed and Fault-Tolerant Systems},
title = {{Symbolic model checking of simply−timed systems}},
year = {2003}
}
@book{Mellor2002,
author = {Mellor, SJ and Balcer, MJ},
title = {{Executable UML: a foundation for model-driven architecture}},
year = {2002}
}
@article{Mens2007,
author = {Mens, Tom},
file = {:home/spegni/Documenti/paperi/Mens/2007/Mens - 2007 - Software Evolution.pdf:pdf},
title = {{Software Evolution}},
year = {2007}
}
@article{Mens2003,
author = {Mens, Tom and Demeyer, Serge and Bois, Bart Du and Stenten, Hans},
journal = {Electronic Notes in},
number = {3},
pages = {1--17},
title = {{Refactoring: Current research and future trends}},
volume = {82},
year = {2003}
}
@article{Evolution,
author = {Mens, Tom and Gu\'{e}h\'{e}neuc, Yann-Ga$\backslash$"el and Fern$\backslash$'andez-Ramil, Juan and D'Hondt, Maja},
journal = {IEEE Software},
pages = {22--24},
title = {{Software Evolution}},
year = {2010}
}
@article{Mens2010,
author = {Mens, Tom and Magee, Jeff and Rumpe, Bernhard},
journal = {Computer},
number = {5},
title = {{Evolving software architecture descriptions of critical systems}},
volume = {43},
year = {2010}
}
@article{Mens2004,
author = {Mens, Tom and Tourw\'{e}, T.},
journal = {Software Engineering, IEEE Transactions},
pages = {1--14},
title = {{A survey of software refactoring}},
url = {http://ieeexplore.ieee.org/xpls/abs\_all.jsp?arnumber=1265817},
volume = {XX},
year = {2004}
}
@article{Mens2006,
author = {Mens, Tom and {Van Gorp}, Pieter},
journal = {Electronic Notes in Theoretical Computer Science},
pages = {125--142},
title = {{A Taxonomy of Model Transformation}},
volume = {152},
year = {2006}
}
@article{Meyer1992,
author = {Meyer, Bertrand},
journal = {Computer},
number = {10},
pages = {40--51},
title = {{Applying "Design by Contract"}},
volume = {25},
year = {1992}
}
@article{Meyer,
author = {Meyer, Bertrand},
journal = {Computer},
number = {1},
pages = {124,121--123},
title = {{The unspoken revolution in software engineering}},
volume = {39},
year = {2006}
}
@book{Myers2004,
author = {Myers, GJ and Sandler, C and Badgett, T and Thomas, TM},
journal = {John Wiley \& Sons},
title = {{The art of software testing}},
year = {2004}
}
@article{Nagy2011,
author = {Nagy, Csaba and Vidacs, Laszlo and Ferenc, Rudolf and Gyimothy, Tibor and Kocsis, Ferenc and Kovacs, Istvan},
pages = {343--346},
publisher = {IEEE},
title = {{Solutions for Reverse Engineering 4GL Applications, Recovering the Design of a Logistical Wholesale System}},
year = {2011}
}
@article{Nickel2000,
address = {New York, New York, USA},
author = {Nickel, Ulrich and Niere, J\"{o}rg and Z\"{u}ndorf, Albert},
journal = {Proceedings of the 22nd international conference on Software engineering - ICSE '00},
pages = {742--745},
publisher = {ACM Press},
title = {{The FUJABA environment}},
year = {2000}
}
@inproceedings{Nordio2011,
address = {New York, New York, USA},
author = {Nordio, Martin and Ghezzi, Carlo and Meyer, Bertrand and {Di Nitto}, Elisabetta and Tamburrelli, Giordano and Tschannen, Julian and Aguirre, Nazareno and Kulkarni, Vidya},
pages = {36--40},
publisher = {ACM Press},
title = {{Teaching software engineering using globally distributed projects}},
year = {2011}
}
@incollection{Nordio,
author = {Nordio, Martin and Mitin, Roman and Meyer, Bertrand and Ghezzi, Carlo and {Di Nitto}, Elisabetta and Tamburelli, Giordano},
booktitle = {Software Engineering Approaches for Offshore and Outsourced Development},
pages = {117--129},
title = {{The role of contracts in distributed development}},
year = {2009}
}
@inproceedings{nuseibeh2000,
  title={Requirements engineering: a roadmap},
  author={Nuseibeh, Bashar and Easterbrook, Steve},
  booktitle={Proceedings of the Conference on the Future of Software Engineering},
  pages={35--46},
  year={2000},
  organization={ACM}
}
@article{Pastor2008,
author = {Pastor, Oscar and Espa\~{n}a, Sergio and Panach, Jos\'{e} Ignacio and Aquino, Nathalie},
journal = {Informatik-Spektrum},
number = {5},
pages = {394--407},
title = {{Model-Driven Development}},
volume = {31},
year = {2008}
}
@article{Razavian2012,
author = {Razavian, Maryam and Tamburri, Damian A and Gu, Qing and Lago, Patricia},
pages = {8--9},
title = {{Modeling to Support Communication and Engineering of Service-Oriented Software}},
year = {2012}
}
@article{Rumpe,
author = {Rumpe, Bernhard},
journal = {Issues \& Trends of Information Technology \ldots},
title = {{Executable Modeling with UML. A vision or a Nightmare}},
year = {2002}
}
@article{Schmidt2006,
author = {Schmidt, Douglas C},
number = {February},
pages = {25--31},
title = {{Model-Driven Engineering}},
year = {2006}
}
@article{Selic2009a,
author = {Selic, B},
journal = {Software, IEEE},
number = {December},
title = {{Agile Documentation, Anyone?}},
year = {2009}
}
@article{Selic2003,
author = {Selic, B.},
journal = {IEEE Software},
number = {5},
pages = {19--25},
title = {{The pragmatics of model-driven development}},
volume = {20},
year = {2003}
}
@article{Vecchia2010,
author = {Vecchia, Gioacchino La and Cisternino, Antonio},
booktitle = {Current Trends in Web Engineering},
pages = {425--430},
title = {{Collaborative workforce, business process crowdsourcing as an alternative of BPO}},
year = {2010}
}
@book{Vliet2008,
author = {Vliet, Hans Van},
number = {c},
pages = {560},
publisher = {Wiley},
title = {{Software engineering: principles and practice}},
year = {2008}
}
@article{Vukovic2009,
author = {Vukovic, Maja},
pages = {686--692},
publisher = {IEEE},
title = {{Crowdsourcing for Enterprises}},
year = {2009}
}
@inproceedings{Walkinshaw2007,
author = {Walkinshaw, Neil and Bogdanov, Kirill and Holcombe, Mike and Salahuddin, Sarah},
booktitle = {Reverse Engineering, 2007. WCRE 2007. 14th Working Conference on},
number = {1},
pages = {209 -- 218},
title = {{Reverse engineering state machines by interactive grammar inference}},
year = {2007}
}
@article{Woodcock2009a,
author = {Woodcock, Jim and Larsen, Peter Gorm and Bicarregui, Juan and Fitzgerald, John},
journal = {ACM Computing Surveys},
number = {4},
pages = {1--36},
title = {{Formal methods}},
volume = {41},
year = {2009}
}
@book{Yang2005,
author = {Yang, Hongji},
title = {{Software Evolution with UML and XML}},
year = {2005}
}
@inproceedings{Yu2005,
author = {Yu, Y. and Wang, Y. and Mylopoulos, J. and Liaskos, S. and Lapouchnian, A. and {do Prado Leite}, J.C.S.},
booktitle = {Requirements Engineering, 2005. Proceedings. 13th IEEE International Conference on},
pages = {363--372},
publisher = {IEEE},
title = {{Reverse engineering goal models from legacy code}},
year = {2005}
}
@article{Zhang2011,
author = {Zhang, Yuefeng and Patel, Shailesh},
journal = {IEEE Software},
number = {2},
pages = {84--91},
title = {{Agile Model-Driven Development in Practice}},
volume = {28},
year = {2011}
}
@techreport{Zundorf1999,
author = {Z\"{u}ndorf, A and Sch\"{u}rr, A and Winter, AJ},
institution = {Universtiy of Paderborn},
pages = {1--30},
title = {{Story driven modeling}},
year = {1999}
}

@misc{safety.do178c,
    author = {of RTCA, Special C.},
    citeulike-article-id = {10751058},
    institution = {Special Committee 205 of RTCA},
    posted-at = {2012-06-06 11:21:34},
    priority = {2},
    title = {{DO-178C}, Software Considerations in Airborne Systems and Equipment Certification},
    year = {2011}
}

@book{navet2010modeling,
  title={Modeling and Verification of Real-time Systems},
  author={Navet, Nicolas and Merz, Stephan},
  year={2010},
  publisher={Wiley-ISTE}
}

@Misc{scxml,
  author =	"J. Barnett and R. Akolkar and R. J. Auburn and
		 D. C. Burnett and T. Lager and J. Roxendal",
  title =	"State Chart {XML} ({SCXML}): State Machine Notation
		 for Control Abstraction",
  howpublished = "World Wide Web Consortium, Working Draft
		 WD-scxml-20121206",
  month =	dec,
  year = 	"2012",
  URI =  	"http://www.w3.org/TR/2012/WD-scxml-20121206",
}

@article{Buys,
author = {Buys, Jonas and Florio, Vincenzo De and Blondia, Chris},
pages = {1--10},
title = {{Applying Business Process Re-engineering Patterns to optimize WS-BPEL Workf lows}}
}

@book{swebok2004,
  title={Guide to the Software Engineering Body of Knowledge: 2004 Version},
  author={A. Abran and J. W. Moore and P. Bourque and R. Dupuis},
  year={2004},
  publisher={IEEE Computer Society},
  address={Los Alamitos, CA}
}

@TechReport{RTCA11a,
  author =	"RTCA",
  year = 	"2011",
  title =	"{Software Considerations in Airborne Systems and Equipment Certification}",
  number =	"DO-178C",
  institution =  "RTCA, Inc.",
}

@ARTICLE{Larsen97,
  AUTHOR =       {Kim G. Larsen and Paul Pettersson and Wang Yi},
  TITLE =        {{UPPAAL in a Nutshell}},
  JOURNAL =      {Springer International Journal of Software Tools for Technology Transfer},
  YEAR =         {1997},
  volume =       {1},
  number =       {1+2},
  pages =        {134--152}
}
